s32 cpuid;
u32 cpu_clock[2];
extern uint cpu_hard_id[NR_CPUS];
+ u32 tbf;
/* Look up which CPU we are running on right now and get all info
* from there */
cpu_node = bootcpu_node;
- result = of_getprop(cpu_node, "timebase-frequency", &timebase_freq,
- sizeof(timebase_freq));
+ result = of_getprop(cpu_node, "timebase-frequency", &tbf, sizeof(tbf));
+ timebase_freq = tbf;
if (result == OF_FAILURE) {
of_panic("Couldn't get timebase frequency!\n");
}
- of_printf("OF: timebase-frequency = %d Hz\n", timebase_freq);
+ of_printf("OF: timebase-frequency = %ld Hz\n", timebase_freq);
result = of_getprop(cpu_node, "clock-frequency",
&cpu_clock, sizeof(cpu_clock));
#include <xen/percpu.h>
#include <asm/processor.h>
-extern unsigned int timebase_freq;
+extern s64 timebase_freq;
#define CLOCK_TICK_RATE timebase_freq
#define watchdog_disable() ((void)0)